(0
 (
  ("(x 2)" 3 60)
  ("(x 3)" 60 102)
  ("(x 4)" 102 105)
  ("(x 5)" 105 109)
  ("(x 6)" 109 135)
  ("(x stable)" 4 5)
  ("(x up)" 5 14)
  ("(x stable)" 14 18)
  ("(x down)" 18 32)
  ("(x stable)" 32 43)
  ("(x down)" 43 50)
  ("(x stable)" 50 58)
  ("(x down)" 58 65)
  ("(x stable)" 65 97)
  ("(x down)" 97 121)
  ("(x stable)" 121 130)
  ("(x up)" 130 135)
  ("(y 3)" 3 5)
  ("(y 2)" 5 98)
  ("(y 3)" 98 103)
  ("(y 4)" 103 106)
  ("(y 5)" 106 109)
  ("(y 6)" 109 135)
  ("(y up)" 4 13)
  ("(y stable)" 13 20)
  ("(y down)" 20 27)
  ("(y stable)" 27 94)
  ("(y down)" 94 124)
  ("(y stable)" 124 129)
  ("(y up)" 129 135)
 ))
(1
 (
  ("(x 2)" 3 20)
  ("(x 1)" 20 28)
  ("(x 2)" 28 34)
  ("(x 3)" 34 38)
  ("(x 4)" 38 41)
  ("(x 5)" 41 45)
  ("(x 6)" 45 62)
  ("(x 5)" 62 64)
  ("(x down)" 4 7)
  ("(x stable)" 7 15)
  ("(x up)" 15 22)
  ("(x stable)" 22 27)
  ("(x down)" 27 53)
  ("(x stable)" 53 57)
  ("(x up)" 57 64)
  ("(y 1)" 3 24)
  ("(y 2)" 24 31)
  ("(y 3)" 31 35)
  ("(y 4)" 35 38)
  ("(y 5)" 38 44)
  ("(y 6)" 44 64)
  ("(y up)" 4 5)
  ("(y stable)" 5 14)
  ("(y down)" 14 55)
  ("(y stable)" 55 56)
  ("(y up)" 56 64)
 ))
(2
 (
  ("(x 1)" 3 29)
  ("(x 2)" 29 33)
  ("(x 3)" 33 38)
  ("(x 4)" 38 44)
  ("(x 5)" 44 49)
  ("(x 6)" 49 67)
  ("(x 5)" 67 70)
  ("(x stable)" 4 20)
  ("(x up)" 20 26)
  ("(x stable)" 26 27)
  ("(x down)" 27 58)
  ("(x stable)" 58 61)
  ("(x up)" 61 70)
  ("(y 1)" 3 26)
  ("(y 2)" 26 31)
  ("(y 3)" 31 35)
  ("(y 4)" 35 39)
  ("(y 5)" 39 49)
  ("(y 6)" 49 68)
  ("(y 5)" 68 70)
  ("(y stable)" 4 20)
  ("(y down)" 20 57)
  ("(y stable)" 57 61)
  ("(y up)" 61 70)
 ))
(3
 (
  ("(x 2)" 3 4)
  ("(x 3)" 4 26)
  ("(x 2)" 26 35)
  ("(x 1)" 35 57)
  ("(x 2)" 57 62)
  ("(x 3)" 62 66)
  ("(x 4)" 66 69)
  ("(x 5)" 69 74)
  ("(x 6)" 74 98)
  ("(x 5)" 98 99)
  ("(x down)" 4 7)
  ("(x stable)" 7 24)
  ("(x up)" 24 37)
  ("(x stable)" 37 56)
  ("(x down)" 56 84)
  ("(x stable)" 84 90)
  ("(x up)" 90 99)
  ("(y 2)" 3 40)
  ("(y 1)" 40 55)
  ("(y 2)" 55 61)
  ("(y 3)" 61 64)
  ("(y 4)" 64 68)
  ("(y 5)" 68 72)
  ("(y 6)" 72 99)
  ("(y stable)" 4 14)
  ("(y up)" 14 49)
  ("(y stable)" 49 51)
  ("(y down)" 51 85)
  ("(y stable)" 85 87)
  ("(y up)" 87 99)
 ))
(4
 (
  ("(x 3)" 3 4)
  ("(x 2)" 4 48)
  ("(x 3)" 48 51)
  ("(x 4)" 51 54)
  ("(x 5)" 54 58)
  ("(x 6)" 58 81)
  ("(x up)" 4 5)
  ("(x stable)" 5 6)
  ("(x up)" 6 21)
  ("(x stable)" 21 42)
  ("(x down)" 42 68)
  ("(x stable)" 68 75)
  ("(x up)" 75 81)
  ("(y 3)" 3 8)
  ("(y 2)" 8 26)
  ("(y 1)" 26 41)
  ("(y 2)" 41 48)
  ("(y 3)" 48 51)
  ("(y 4)" 51 54)
  ("(y 5)" 54 59)
  ("(y 6)" 59 81)
  ("(y up)" 4 32)
  ("(y stable)" 32 38)
  ("(y down)" 38 73)
  ("(y stable)" 73 76)
  ("(y up)" 76 81)
 ))
(5
 (
  ("(x 1)" 3 10)
  ("(x 2)" 10 44)
  ("(x 3)" 44 47)
  ("(x 4)" 47 50)
  ("(x 5)" 50 54)
  ("(x 6)" 54 77)
  ("(x 5)" 77 78)
  ("(x down)" 4 11)
  ("(x stable)" 11 15)
  ("(x down)" 15 22)
  ("(x stable)" 22 38)
  ("(x down)" 38 61)
  ("(x stable)" 61 73)
  ("(x up)" 73 78)
  ("(y 2)" 3 44)
  ("(y 3)" 44 47)
  ("(y 4)" 47 50)
  ("(y 5)" 50 55)
  ("(y 6)" 55 78)
  ("(y up)" 4 25)
  ("(y stable)" 25 35)
  ("(y down)" 35 68)
  ("(y stable)" 68 70)
  ("(y up)" 70 78)
 ))
(6
 (
  ("(x 1)" 3 25)
  ("(x 2)" 25 30)
  ("(x 3)" 30 34)
  ("(x 4)" 34 38)
  ("(x 5)" 38 77)
  ("(x down)" 4 8)
  ("(x stable)" 8 10)
  ("(x down)" 10 17)
  ("(x stable)" 17 20)
  ("(x down)" 20 47)
  ("(x stable)" 47 75)
  ("(x up)" 75 77)
  ("(y 1)" 3 23)
  ("(y 2)" 23 29)
  ("(y 3)" 29 33)
  ("(y 4)" 33 38)
  ("(y 5)" 38 77)
  ("(y down)" 4 50)
  ("(y stable)" 50 61)
  ("(y down)" 61 68)
  ("(y stable)" 68 74)
  ("(y up)" 74 77)
 ))
(7
 (
  ("(x 1)" 3 21)
  ("(x 2)" 21 25)
  ("(x 3)" 25 28)
  ("(x 4)" 28 33)
  ("(x 5)" 33 43)
  ("(x 6)" 43 60)
  ("(x stable)" 4 14)
  ("(x down)" 14 45)
  ("(x stable)" 45 60)
  ("(y 1)" 3 23)
  ("(y 2)" 23 29)
  ("(y 3)" 29 33)
  ("(y 4)" 33 36)
  ("(y 5)" 36 41)
  ("(y 6)" 41 60)
  ("(y up)" 4 12)
  ("(y stable)" 12 18)
  ("(y down)" 18 50)
  ("(y stable)" 50 56)
  ("(y up)" 56 60)
 ))
(8
 (
  ("(x 2)" 3 39)
  ("(x 3)" 39 44)
  ("(x 4)" 44 50)
  ("(x 5)" 50 55)
  ("(x 6)" 55 74)
  ("(x up)" 4 15)
  ("(x stable)" 15 33)
  ("(x down)" 33 64)
  ("(x stable)" 64 73)
  ("(x up)" 73 74)
  ("(y 1)" 3 27)
  ("(y 2)" 27 35)
  ("(y 3)" 35 40)
  ("(y 4)" 40 45)
  ("(y 5)" 45 53)
  ("(y 6)" 53 74)
  ("(y up)" 4 13)
  ("(y stable)" 13 20)
  ("(y down)" 20 64)
  ("(y stable)" 64 70)
  ("(y up)" 70 74)
 ))
(9
 (
  ("(x 1)" 3 21)
  ("(x 2)" 21 23)
  ("(x 3)" 23 25)
  ("(x 4)" 25 28)
  ("(x 5)" 28 57)
  ("(x 6)" 57 63)
  ("(x stable)" 4 5)
  ("(x up)" 5 12)
  ("(x stable)" 12 17)
  ("(x down)" 17 30)
  ("(x stable)" 30 52)
  ("(x down)" 52 63)
  ("(y 1)" 3 23)
  ("(y 2)" 23 29)
  ("(y 3)" 29 33)
  ("(y 4)" 33 36)
  ("(y 5)" 36 43)
  ("(y 6)" 43 63)
  ("(y up)" 4 8)
  ("(y stable)" 8 15)
  ("(y down)" 15 52)
  ("(y stable)" 52 54)
  ("(y up)" 54 59)
  ("(y stable)" 59 63)
 ))
(10
 (
  ("(x 1)" 3 18)
  ("(x 2)" 18 21)
  ("(x 3)" 21 23)
  ("(x 4)" 23 26)
  ("(x 5)" 26 60)
  ("(x stable)" 4 11)
  ("(x down)" 11 31)
  ("(x stable)" 31 56)
  ("(x up)" 56 60)
  ("(y 1)" 3 20)
  ("(y 2)" 20 24)
  ("(y 3)" 24 27)
  ("(y 4)" 27 31)
  ("(y 5)" 31 60)
  ("(y stable)" 4 10)
  ("(y down)" 10 45)
  ("(y stable)" 45 56)
  ("(y up)" 56 60)
 ))
(11
 (
  ("(x 1)" 3 17)
  ("(x 2)" 17 19)
  ("(x 3)" 19 21)
  ("(x 4)" 21 24)
  ("(x 5)" 24 60)
  ("(x 6)" 60 64)
  ("(x stable)" 4 11)
  ("(x down)" 11 25)
  ("(x stable)" 25 57)
  ("(x down)" 57 62)
  ("(x stable)" 62 64)
  ("(y 1)" 3 21)
  ("(y 2)" 21 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 34)
  ("(y 5)" 34 44)
  ("(y 6)" 44 61)
  ("(y 5)" 61 64)
  ("(y up)" 4 8)
  ("(y stable)" 8 10)
  ("(y down)" 10 50)
  ("(y stable)" 50 55)
  ("(y up)" 55 64)
 ))
(12
 (
  ("(x 1)" 3 20)
  ("(x 2)" 20 24)
  ("(x 3)" 24 26)
  ("(x 4)" 26 29)
  ("(x 5)" 29 35)
  ("(x 6)" 35 51)
  ("(x 5)" 51 57)
  ("(x 4)" 57 58)
  ("(x stable)" 4 14)
  ("(x down)" 14 36)
  ("(x stable)" 36 51)
  ("(x up)" 51 58)
  ("(y 1)" 3 20)
  ("(y 2)" 20 24)
  ("(y 3)" 24 27)
  ("(y 4)" 27 31)
  ("(y 5)" 31 40)
  ("(y 6)" 40 53)
  ("(y 5)" 53 58)
  ("(y up)" 4 7)
  ("(y stable)" 7 11)
  ("(y down)" 11 47)
  ("(y stable)" 47 48)
  ("(y up)" 48 58)
 ))
(13
 (
  ("(x 6)" 3 16)
  ("(x 5)" 16 19)
  ("(x 4)" 19 22)
  ("(x 3)" 22 25)
  ("(x 4)" 25 33)
  ("(x 3)" 33 35)
  ("(x 2)" 35 46)
  ("(x 1)" 46 53)
  ("(x stable)" 4 14)
  ("(x up)" 14 23)
  ("(x stable)" 23 25)
  ("(x down)" 25 29)
  ("(x stable)" 29 30)
  ("(x up)" 30 40)
  ("(x stable)" 40 46)
  ("(x up)" 46 53)
  ("(y 1)" 3 20)
  ("(y 2)" 20 24)
  ("(y 3)" 24 27)
  ("(y 4)" 27 31)
  ("(y 5)" 31 36)
  ("(y 6)" 36 52)
  ("(y 5)" 52 53)
  ("(y stable)" 4 14)
  ("(y down)" 14 44)
  ("(y stable)" 44 46)
  ("(y up)" 46 53)
 ))
(14
 (
  ("(x 4)" 3 18)
  ("(x 3)" 18 21)
  ("(x 2)" 21 23)
  ("(x 1)" 23 35)
  ("(x 2)" 35 36)
  ("(x 3)" 36 37)
  ("(x 4)" 37 39)
  ("(x 5)" 39 41)
  ("(x 6)" 41 54)
  ("(x 5)" 54 56)
  ("(x 4)" 56 57)
  ("(x 3)" 57 58)
  ("(x stable)" 4 16)
  ("(x up)" 16 30)
  ("(x down)" 30 45)
  ("(x stable)" 45 51)
  ("(x up)" 51 58)
  ("(y 1)" 3 22)
  ("(y 2)" 22 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 39)
  ("(y 6)" 39 58)
  ("(y up)" 4 9)
  ("(y stable)" 9 17)
  ("(y down)" 17 48)
  ("(y up)" 48 58)
 ))
(15
 (
  ("(x 1)" 3 18)
  ("(x 2)" 18 21)
  ("(x 3)" 21 23)
  ("(x 4)" 23 25)
  ("(x 5)" 25 50)
  ("(x 4)" 50 52)
  ("(x up)" 4 9)
  ("(x stable)" 9 14)
  ("(x down)" 14 31)
  ("(x stable)" 31 46)
  ("(x up)" 46 52)
  ("(y 1)" 3 15)
  ("(y 2)" 15 19)
  ("(y 3)" 19 23)
  ("(y 4)" 23 27)
  ("(y 5)" 27 52)
  ("(y down)" 4 38)
  ("(y stable)" 38 43)
  ("(y up)" 43 52)
 ))
(16
 (
  ("(x 2)" 3 17)
  ("(x 1)" 17 29)
  ("(x 2)" 29 37)
  ("(x 3)" 37 40)
  ("(x 4)" 40 42)
  ("(x 5)" 42 45)
  ("(x 6)" 45 66)
  ("(x 5)" 66 68)
  ("(x 4)" 68 69)
  ("(x 3)" 69 70)
  ("(x stable)" 4 15)
  ("(x up)" 15 22)
  ("(x stable)" 22 25)
  ("(x down)" 25 32)
  ("(x stable)" 32 36)
  ("(x down)" 36 48)
  ("(x stable)" 48 64)
  ("(x up)" 64 70)
  ("(y 1)" 3 23)
  ("(y 2)" 23 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 36)
  ("(y 5)" 36 50)
  ("(y 6)" 50 63)
  ("(y 5)" 63 70)
  ("(y stable)" 4 12)
  ("(y down)" 12 57)
  ("(y stable)" 57 59)
  ("(y up)" 59 70)
 ))
(17
 (
  ("(x 1)" 3 24)
  ("(x 2)" 24 27)
  ("(x 3)" 27 29)
  ("(x 4)" 29 32)
  ("(x 5)" 32 66)
  ("(x stable)" 4 20)
  ("(x down)" 20 41)
  ("(x stable)" 41 62)
  ("(x up)" 62 66)
  ("(y 1)" 3 21)
  ("(y 2)" 21 25)
  ("(y 3)" 25 28)
  ("(y 4)" 28 32)
  ("(y 5)" 32 66)
  ("(y stable)" 4 9)
  ("(y down)" 9 46)
  ("(y stable)" 46 58)
  ("(y up)" 58 66)
 ))
(18
 (
  ("(x 1)" 3 22)
  ("(x 2)" 22 27)
  ("(x 3)" 27 32)
  ("(x 4)" 32 36)
  ("(x 5)" 36 43)
  ("(x 6)" 43 62)
  ("(x stable)" 4 18)
  ("(x down)" 18 45)
  ("(x stable)" 45 54)
  ("(x down)" 54 61)
  ("(x stable)" 61 62)
  ("(y 1)" 3 19)
  ("(y 2)" 19 25)
  ("(y 3)" 25 29)
  ("(y 4)" 29 33)
  ("(y 5)" 33 42)
  ("(y 6)" 42 56)
  ("(y 5)" 56 62)
  ("(y stable)" 4 7)
  ("(y down)" 7 49)
  ("(y stable)" 49 51)
  ("(y up)" 51 62)
 ))
(19
 (
  ("(x 3)" 3 17)
  ("(x 2)" 17 21)
  ("(x 1)" 21 35)
  ("(x 2)" 35 37)
  ("(x 3)" 37 39)
  ("(x 4)" 39 41)
  ("(x 5)" 41 44)
  ("(x 6)" 44 64)
  ("(x 5)" 64 65)
  ("(x stable)" 4 17)
  ("(x up)" 17 24)
  ("(x stable)" 24 33)
  ("(x down)" 33 47)
  ("(x stable)" 47 62)
  ("(x up)" 62 65)
  ("(y 1)" 3 23)
  ("(y 2)" 23 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 34)
  ("(y 5)" 34 43)
  ("(y 6)" 43 59)
  ("(y 5)" 59 65)
  ("(y stable)" 4 15)
  ("(y down)" 15 49)
  ("(y stable)" 49 54)
  ("(y up)" 54 65)
 ))
(20
 (
  ("(x 1)" 3 19)
  ("(x 2)" 19 24)
  ("(x 3)" 24 30)
  ("(x 4)" 30 36)
  ("(x 5)" 36 43)
  ("(x 6)" 43 59)
  ("(x down)" 4 12)
  ("(x stable)" 12 15)
  ("(x down)" 15 46)
  ("(x stable)" 46 49)
  ("(x down)" 49 56)
  ("(x stable)" 56 59)
  ("(y 1)" 3 20)
  ("(y 2)" 20 25)
  ("(y 3)" 25 29)
  ("(y 4)" 29 33)
  ("(y 5)" 33 40)
  ("(y 6)" 40 56)
  ("(y 5)" 56 59)
  ("(y stable)" 4 13)
  ("(y down)" 13 48)
  ("(y stable)" 48 50)
  ("(y up)" 50 59)
 ))
(21
 (
  ("(x 1)" 3 17)
  ("(x 2)" 17 19)
  ("(x 3)" 19 21)
  ("(x 4)" 21 23)
  ("(x 5)" 23 27)
  ("(x 6)" 27 35)
  ("(x 5)" 35 41)
  ("(x 4)" 41 66)
  ("(x stable)" 4 12)
  ("(x down)" 12 28)
  ("(x stable)" 28 35)
  ("(x up)" 35 42)
  ("(x stable)" 42 65)
  ("(x up)" 65 66)
  ("(y 1)" 3 21)
  ("(y 2)" 21 25)
  ("(y 3)" 25 29)
  ("(y 4)" 29 33)
  ("(y 5)" 33 66)
  ("(y stable)" 4 11)
  ("(y down)" 11 50)
  ("(y stable)" 50 55)
  ("(y up)" 55 66)
 ))
(22
 (
  ("(x 4)" 3 26)
  ("(x 3)" 26 28)
  ("(x 2)" 28 30)
  ("(x 1)" 30 41)
  ("(x 2)" 41 43)
  ("(x 4)" 43 45)
  ("(x 5)" 45 48)
  ("(x 6)" 48 66)
  ("(x stable)" 4 26)
  ("(x up)" 26 36)
  ("(x stable)" 36 37)
  ("(x down)" 37 49)
  ("(x stable)" 49 66)
  ("(y 1)" 3 22)
  ("(y 2)" 22 26)
  ("(y 3)" 26 30)
  ("(y 4)" 30 35)
  ("(y 5)" 35 46)
  ("(y 6)" 46 60)
  ("(y 5)" 60 66)
  ("(y stable)" 4 14)
  ("(y down)" 14 50)
  ("(y stable)" 50 57)
  ("(y up)" 57 66)
 ))
